An authoring tool for preparing online theorems and proofs with a dynamic geometry environment

With advanced technologies of natural language processing, interactions between computer and human can be very user-friendly. Recently, humans can use their language to communicate to systems of computer-assisted learning. In this paper, an authoring tool has been proposed to help students learn geometry theorems and proofs. This tool is based on Java Sketchpad and regular expression template. With the tool, teachers can edit a geometry proof problem with a client browser and analyse the problem with the knowledge engine. Moreover, the knowledge engine translates the online materials into a XML format and produces a script for drawing a dynamic geometry figure within Java Sketchpad. With an internet browser, students can access these XML materials and manipulate the figure in the dynamic geometry environment when studying theorems and proofs. Furthermore, a preliminary evaluation of the knowledge engine shows that it can understand about 77% of textbook problems.